# SPDX-License-Identifier: Apache-2.0

add_subdirectory(cap)
add_subdirectory(irq)
add_subdirectory(locking)
add_subdirectory(sched)
add_subdirectory(time)

kernel_library()
kernel_library_sources(
  panic.c printk.c maccess.c cpu.c extable.c smp.c
  sysctl.c reboot.c sys_ni.c idle.c tcb.c
)
